منابع مشابه
A Hybrid Reasoning System with Diagrams and Sentences
Deduction by a computer studied so far has been centered around symbolic reasoning with formulas. Recently, attention has been directed to reasoning with diagrams as well, in order to augment the deficiency of reasoning with symbols only. In this paper, we propose a hybrid reasoning system with diagrams and sentences, called JVenn, having perspicuity of diagrams and strictness of symbols comple...
متن کاملReasoning with constraint diagrams
There is a range of visual languages which express logical statements, for example Euler diagrams. The effective use of such languages relies on knowledge about whether a diagram is contradictory and whether reasoning can be performed to transform one diagram into another. It is also desirable to know the expressiveness of such languages. Knowing what a language can and cannot express is import...
متن کاملMathematical Reasoning with Diagrams
Mateja Jamnik, published by CSLI Publications. ©2001 by CSLI Publications. All rights reserved. This text may be used and shared in accordance with the fair-use provisions of U.S. copyright law, and it may be archived and redistributed in electronic form, provided that this entire notice, including copyright information, is carried and provided that CSLI Publications is notified and no fee is c...
متن کاملReasoning With Diagrams Only
Traditional deductive systems work with sentences of symbols. Even in newer systems that also reason from diagrams sentential representations still play a major role. The work here explores deductive systems that use only picture-like representations. Machinery functionally equivalent to variables, quantifiers, substitution, unification, and binding are defined based on a model of deductive cha...
متن کاملReasoning with Spider Diagrams
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in conjunction with object-oriented modelling notations such as the Unified Modelling Language. This paper summarises the main syntax and semantics of spider diagrams and introduces four inference rules for reasoning with ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1994
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1040609295